Nuprl Lemma : id-deq_wf 0,22
IdDeq  EqDecider(Id) 
latex

Definitionst  T, Id, IdDeq
Lemmasatom2-deq wf

origin